TSTP Solution File: DAT315^1 by SInE---0.4